well-ordering theorem - French English Dictionary